منابع مشابه
From truth to computability I
The recently initiated approach called computability logic is a formal theory of interactive computation. It understands computational problems as games played by a machine against the environment, and uses logical formalism to describe valid principles of computability, with formulas representing computational problems and logical operators standing for operations on computational problems. Th...
متن کاملShould I Believe the Truth ?
1 Introduction It is a platitude that beliefs can be correct or incorrect. The most obvious candidate for belief's correctness condition is truth. This suggests that the following principle holds: (1) For any p: the belief that p is correct if and only if it is true that p Krister Bykvist and Anandi Hattiangadi (hereafter, B&H) argue that (1) might not be platitudinous when 'correct' 'is interp...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
Warfarin: an inconvenient truth.
See related article, pages 235–240. In 1989, the Copenhagen AFASAK study1 reported results from the first randomized, placebo-controlled trial evaluating adjusted-dose warfarin and aspirin in the prevention of stroke for nonvalvular atrial fibrillation (NVAF). Like the 5 randomized, placebo-controlled trials that came after it,2 the Copenhagen AFASAK study demonstrated a reduction in embolic ev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Mathematica
سال: 2018
ISSN: 1744-6406
DOI: 10.1093/philmat/nky005